stora operan i Rotterdam.