function komma2punkt(s)  // Funktionsvereinbarung
{
  var
    stelle;
  stelle = s.indexOf(',');
  while (stelle > -1)
  {
    s = s.substring(0,stelle)+'.'+s.substring(stelle+1,s.length);
    stelle = s.indexOf(',');
  };
  return s;
}