\font \bxf = ambx10 \font \eightbf = ambx8 \font \eighti = ammi8 \font \eightit = amti8 \font \eightrm = amr8 \font \eightsans = amss10 at 8pt \font \eightsl = amsl8 \font \eightsy = amsy8 \font \eighttt = amtt8 \font \fivesans = amss10 at 5pt \font \kk = ammi6 \font \kla = amr8 \font \kleinhalbcurs = ambi10 scaled 833 \font \markfont = amr10 scaled\magstep1 \font \sevensans = amss10 at 7pt \font \sixbf = ambx6 \font \sixi = ammi6 \font \sixrm = amr6 \font \sixsans = amss10 at 6pt \font \sixsy = amsy6 \font \smallescriptfont = amr5 at 7pt \font \smallescriptscriptfont = amr5 \font \smalletextfont = amr5 at 10pt \font \tafontt = amr10 scaled\magstep3 \font \tafonts = amr7 scaled\magstep3 \font \tafontss = amr5 scaled\magstep3 \font \tamt = ammi10 scaled\magstep3 \font \tams = ammi7 scaled\magstep3 \font \tamss = ammi5 scaled\magstep3 \font \tast = amsy10 scaled\magstep3 \font \tass = amsy7 scaled\magstep3 \font \tasss = amsy5 scaled\magstep3 \font \tasyt = amex10 scaled\magstep3 \font \tasys = amex10 scaled\magstep2 \font \tbfontt = amr10 scaled\magstep2 \font \tbfonts = amr7 scaled\magstep2 \font \tbfontss = amr5 scaled\magstep2 \font \tbmt = ammi10 scaled\magstep2 \font \tbms = ammi7 scaled\magstep2 \font \tbmss = ammi5 scaled\magstep2 \font \tbst = amsy10 scaled\magstep2 \font \tbss = amsy7 scaled\magstep2 \font \tbsss = amsy5 scaled\magstep2 \font \tenbf = amb10 \font \tensans = amss10 \font \zetscript = amss10 at 7pt \font \zetscriptscript = amss10 at 5pt \font \zettext = amss10