Die Hamburger Schiffswerft (Aus dem Musical "Große Freiheit Nr. 7")