Restauration und Neugestaltung des großen Sendesaals des WDR.