Die Instandsetzung von Marineschiffen ist dort deutlich günstiger als bisher - ein aktuelles Beispiel zeigt das Einsparpotenzial.