theatre, formerly assembly hall in the central building of the Budapest University of Technology and Economics, Hungary