Det gamla operahuset ärmi