Utvidgning af operabyggnadens tomt.