Oslo opera house on autumn morning | Photo