FELLENSTEIN HOME PAGE, OHIO:Information about Otto Holm