Globale Schiffsreinigung Automatischer Robotermarkt Auswirkungen von KI und