Mies van der Rohe’s lost ark. Il progetto per il teatro di Mannheim (1952-53)