Operahusets tomt gränsande trädgård;