[ 777 ] H . F. Gederberg.