protokoll.php gettext tags