German definitions.Debug.php