Germany’s marine industry