In Memoriam: O B Horn