The Hungarian opera house looks like a place I don’t want to be stuck at night: