ThyssenKrupp Marine Systems sells Nobiskrug GmbH