vertraege.php gettext tags