A Tribute to Hans Hopf (August 2, 1916-June 25, 1993)