[307] Marinebauten, alle Hoch- und Wasserbauten für Marinezwecke, wie Hafen- und Werftanlagen, Trockendocks, Magazine, Leuchttürme etc.