/* Funktion zum leeren von input-feldern */
function leer(x) {
x.value='';
}