och dockbyggnaderna vid Wilhelmshafen och Kiel,