Gothenburg's opera house.