function hotel_anzeigen(f) {
   // Hotelname setzen
   var sethotelname = document.getElementById("formSetHotel");
   sethotelname.value = hotel;
};
function seite_laden(f){
   var hotel = f.hotels.selectedIndex;
};
function zeige(){
  var aform = document.kontakt;
  var hotel = aform.hotels.selectedIndex;
   // Hotelname
   var sethotelname = document.getElementById("formSetHotel");
   sethotelname.value = hotel;
};
function setzeZimmer() {
  // Hotelname
  var setHotelname = document.kontakt.hotels.selectedIndex;
  document.kontakt.formSetHotel.value = setHotelname;
};

function setKategorie() {
  var setKat = document.kontakt.hotelKategorie.value;
  document.kontakt.hotels.selectedIndex = setKat;
}