I rådhuset äro öfver 15 000arbetare