German naval commanders are free to choose their own music