function switchToGerman() {
window.location.href = window.location.href.replace("/en/", "/de/");
}
function switchToEnglish() {
window.location.href = window.location.href.replace("/de/", "/en/");
}