Maintenance and repair of ships or parts thereof: warships (including the implementation of weapons systems)