Oslo Opera House: the complete opposite of the usual “Please don’t touch” culture