Maintenance and repair of ships or parts thereof: passenger vessels, ferry boats, cargo ships, tankers, etc.