Tyska rikets marinbudget är nuframlagd