The Warsaw Symphony Orchestra and Die Warschauer Sinfoniker