Der Ehrenhof wird nicht mehr bespielt.