Dry-docking of vessels or flying-boats