Sechs Milliarden Euro: Haushaltsausschuss stärkt Deutsche Marine