Verft

Marinens Hovedverft, Horten, Norge