Orchester des Radio Berlin, Willi Lachner