Historical Opera in Budapest on a Rainy day