[537] Werftfahrzeuge, alle für den Werftdienst bestimmten Fahrzeuge, wie Schleppdampfer, Bergungsdampfer, Pumpendampfer, Taucherprahme, schwimmende Krane, Wasserfahrzeuge, Kohlenprahme, Hulken, schwimmende Abtritte. Aschprahme u. dgl., auch Verkehrsdampfer für das Personal.