A centuries-old building reflected in a modern opera house