Guide to the Workmen's Insurance of the German Empire - Imperial insurance, Department in Berlin