.headline { font-family:Arial,serif; font-style:normal; font-weight:bold; font-size:large; }
.nichtnormal { font-family:Arial,serif; font-style:normal; font-weight:bold; font-size:normal; }
.normal { font-family:Arial,sans-serif; font-style:normal; font-size:9pt; text-indent:0pt; line-height:12pt; }