categories now only once defined in db.php, not longer multiple hardcoded definitions

public/index.php

@@ -339,6 +339,9 @@ if (!$municipality) {
             zoom: <?= $municipality['default_zoom'] ?>,
             primaryColor: "<?= htmlspecialchars($municipality['primary_color'], ENT_QUOTES) ?>"
         };
+
+        // Category Definitions from Database
+        var CATEGORIES = <?= json_encode(get_categories(), JSON_UNESCAPED_UNICODE) ?>;
     </script>
 
     <!-- Application Logic -->