hall in a public building