Weimar. Das Nationaltheater spielt Thomas Mann im “Elephant“, eine hübsche Maßnahme zum Stadtmarketing.