Pittsburgh's new Public Auditorium, being dedicated here, is as high as a 12-story building, seats 13,000 for sporting events and its retractable steel dome is 415 feet across. Like a vast eye, the dome can wink shut in two and a half minutes, but like an eye it also weeps. The roof, alas, leaks.