Johan Svendsens sinfoni var enhögst