Richard Kraus: Hamberg Symphony Orchestra