"Das Phantom der Oper" im Steintor-Varieté