diff --git a/404.html b/404.html
index 34a906b..c8280d6 100644
--- a/404.html
+++ b/404.html
@@ -146,6 +146,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "404.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/ForPlayers.html b/ForPlayers.html
index d8065a7..0b6ab7d 100644
--- a/ForPlayers.html
+++ b/ForPlayers.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "ForPlayers.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/index.html b/index.html
index 60ee2db..91a826a 100644
--- a/index.html
+++ b/index.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "index.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/print.html b/print.html
index f6df3cb..6402719 100644
--- a/print.html
+++ b/print.html
@@ -146,6 +146,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "print.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/Configuration.html b/server/Configuration.html
index 9e6c676..3c00e9f 100644
--- a/server/Configuration.html
+++ b/server/Configuration.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/Configuration.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/Downloads.html b/server/Downloads.html
index f1660ac..93a214a 100644
--- a/server/Downloads.html
+++ b/server/Downloads.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/Downloads.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/Installation.html b/server/Installation.html
index 84dbf4e..adc8662 100644
--- a/server/Installation.html
+++ b/server/Installation.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/Installation.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/MainConfigFile.html b/server/MainConfigFile.html
index 08b4879..067546f 100644
--- a/server/MainConfigFile.html
+++ b/server/MainConfigFile.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/MainConfigFile.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/RanksConfig.html b/server/RanksConfig.html
index a870d94..9f6abc5 100644
--- a/server/RanksConfig.html
+++ b/server/RanksConfig.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/RanksConfig.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/Setup.html b/server/Setup.html
index c396776..d29f8df 100644
--- a/server/Setup.html
+++ b/server/Setup.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/Setup.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
diff --git a/server/WorldProfileConfigs.html b/server/WorldProfileConfigs.html
index e1f4f51..b56ee13 100644
--- a/server/WorldProfileConfigs.html
+++ b/server/WorldProfileConfigs.html
@@ -145,6 +145,58 @@
                     <h1 class="menu-title">ClaimChunk</h1>
 
                     <div class="right-buttons">
+                        <button id="language-toggle" class="icon-button" type="button"
+                                title="Change language" aria-label="Change language"
+                                aria-haspopup="true" aria-expanded="false"
+                                aria-controls="language-list">
+                            <i class="fa fa-globe"></i>
+                        </button>
+                        <ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
+                            <li role="none"><button role="menuitem" class="theme">
+                                <a id="en">English</a>
+                            </button></li>
+                            <!--<li role="none"><button role="menuitem" class="theme">
+                                <a id="de">Deutsch</a>
+                            </button></li>-->
+                        </ul>
+
+                        <script>
+                            let langToggle = document.getElementById("language-toggle");
+                            let langList = document.getElementById("language-list");
+                            langToggle.addEventListener("click", (event) => {
+                                langList.style.display = langList.style.display == "block" ? "none" : "block";
+                            });
+                            let selectedLang = document.getElementById("en");
+                            if (selectedLang) {
+                                selectedLang.parentNode.classList.add("theme-selected");
+                            }
+
+                            // The path to the root, taking the current
+                            // language into account.
+                            let full_path_to_root = "../";
+                            // The page path (mdbook only gives us
+                            // access to the path to the Markdown file).
+                            let path = "server/WorldProfileConfigs.md".replace(/\.md$/, ".html");
+                            for (let lang of langList.querySelectorAll("a")) {
+                                if (lang.id == "en") {
+                                    lang.href = `${full_path_to_root}${path}`;
+                                } else {
+                                    lang.href = `${full_path_to_root}${lang.id}/${path}`;
+                                }
+                            }
+
+                            // When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
+                            langList.querySelectorAll("li").forEach(function(li) {
+                                li.addEventListener("click", function(event) {
+                                    event.preventDefault();
+                                    let link = this.querySelector("a");
+                                    if (link && window.location.href !== link.href) {
+                                        window.location.href = link.href;
+                                    }
+                                });
+                            });
+                        </script>
+
                         <a href="../print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>