function mitglieder() {
	if(form.mitglied.options.selectedIndex > -1)
		form.form_empfaenger.value = form.form_empfaenger.value + form.mitglied.options[form.mitglied.options.selectedIndex].value + "; ";
}

function gruppen() {
	if(form.gruppe.options.selectedIndex > -1)
		form.form_empfaenger.value = form.form_empfaenger.value + form.gruppe.options[form.gruppe.options.selectedIndex].value + "; ";
}