Nationaltheater: Unterschied zwischen den Versionen

nützliche Weiterleitung; übrigens gibt es hier kein weiteres "Nationaltheater", man hätte das "Mannheim" also auch weglassen können.