diff --git a/cis/private/lehre/benotungstool/menue.inc.php b/cis/private/lehre/benotungstool/menue.inc.php
index f8216a73e..985ce2eb8 100644
--- a/cis/private/lehre/benotungstool/menue.inc.php
+++ b/cis/private/lehre/benotungstool/menue.inc.php
@@ -1,30 +1,39 @@
\n";
-echo "
";
+echo "
";
+echo "
| ";
echo " | ";
+echo "";
echo " | ";
+echo "";
echo " | ";
+echo "";
echo " | ";
+echo "
| ";
$file = $_SERVER["SCRIPT_NAME"];
$break = Explode('/', $file);
$pfile = $break[count($break) - 1];
if ($pfile == "verwaltung.php")
- echo " Übersicht"; + echo " Übersicht"; else if ($pfile == "verwaltung_listen.php") { - echo " Übersicht"; + echo " Übersicht"; if (isset($_GET["liste_id"]) && !isset($_GET["uebung_id"])) echo "->Übung"; if (isset($_GET["liste_id"]) && isset($_GET["uebung_id"])) echo "->Übung->Liste"; } echo " "; +echo " | ";
+echo "|||