"Radio-Sinfonie-Orchester Frankfurt" . .