Historikeren Marianne Philipsen om Aarhus Teaters historie