Seeing an opera in Budapest