function buchung() {
document.buchung.submit();
}