Palfinger beendet „Steinzeit“ bei Instandhaltung von Hochseeschiffen