Sanierung des Gärtnerplatztheater in München wird deutlich teurer