det gamla spelhuset i Baden-Baden »,