Rundfunk-sinfonie-orchester Hamburg