Osttönnen in der WDR Servicezeit