.angaben { font-family: "Courier New", Courier, monospace; font-size : 80%; }
.tablecast {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
	background-color: #aaaaaa;
}