Peter Petersen — German musicologist