Trolden med de tre hoveder. Det kongelige Teater siden 1870, bygningshistorisk kulturpolitik