Added gettext to managerPruefung.php