Sarastro's palace in the opera : The Magic Flute