Das Shauspielhaus (municipal theater).