Hopf, Gerhard (professor)