Title: The workmen's insurance in the German Empire