// JavaScript Document

function setLanguage(language) 
{
  if (language == 'Deutsch') {document.getElementById('deutsch').checked=true;}
  if (language == 'English') {document.getElementById('english').checked=true;}
}