„Das Phantom der Oper“ in Leipzig