Frantzen, Allen J.,1947-honouree.