function menu() {
document.write('');
}
function map() {
document.write('');
}
function mapOselbachA() {
document.write('');
}
function mapOselbachB() {
document.write('');
}
function mapHimmelsberg() {
document.write('');
}
function mapHaefner() {
document.write('');
}