entwicklung.php gettext tags