<!--

document.write('<OPTION class="spitzen" VALUE="spitzen.html">&raquo; Zur Spitzenmuster-Auswahl</OPTION>');
document.write('<OPTION class="spitzen_sub" VALUE="00xx.html">00xx Beispiel </OPTION>');
document.write('<OPTION class="schnell-auswahl" VALUE="">- - - - - - - - - - - - - - - - - - - - - -</OPTION>');

// -->

