Stora teatern gaf i går för andra gången och under formligt jubel den spanska farsen Domarens hatt.