Tyska flottan skall fördubblas.