är operahusets tomt så beskaffad att den vidgar sig åt Kungsträdgården,