<!--
if (lang == "de") { document.write('<b>verkauft</b> '); }
if (lang == "en") { document.write('<b>sold</b> '); }
if (lang == "es") { document.write('<b>vendido</b> '); }
//-->
