en gång tillhört Krollska operan.