function datum(tmj) {
    /* K. Walter: 5.2003
       Umrechnung eines als Character eingegebenen Datums der Form tt.mm.jjjj
       in interne Datum-Variable  */
    var t=tmj.substr(0,2); 
    var m =tmj.substr(3,2) - 1; var j=tmj.substr(6,4);
    erg=new Date(j,m,t);
    return erg; }