Was kostet der Spielbetrieb der Elbphilharmonie?