.12pt { font-size: 12pt; font-family: "Times New Roman", Georgia, Times, serif }
.12pt+zeilenabstand { font-size: 12pt; line-height: 14pt; font-family: "Times New Roman", Georgia, Times, serif }
.normal { font-size: 10pt; font-family: "Times New Roman", Georgia, Times, serif }
a { font-size: 10pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
p { font-size: 10pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }