namensaenderung.php gettext tags