7,5 Milliarden Euro für das Bauministerium