hörd storlek , 7,000 menniskor kunna rymmas der utan att der tycks vara synnerligen trångt.