. . . "Richard Seifert building" . . .