Wie leistungsfähig ist die deutsche Marine?