../ OT1bbn.fd 21-May-1996 07:00 1192 T1bbn.fd 21-May-1996 07:00 1184 bernhern.sty 21-May-1996 07:00 1144 bernhnbt.sty 21-May-1996 07:00 1152