It's the "mirthful" opera house that premiered "Carmen", or the French term for the type of opera "Carmen" is
... A word to the now 
reoccuring booers at Mozart productions: do you realise ... Another thing seeing it 
in the house made me realise is that it's not just love and sex being discussed 
here.