Der Betrieb einer Werft für Reparaturen und Baumaßnahmen im Schiffbau, insbesondere durch den Einsatz von Schwimmdocks.