Pro-Taucher: Asien, Philippinen, Mindoro, Dry Dock. Künstlich versenktes Trockendock für kleine Schiffe