The talk at the TheorieTag focuses on the following issues: (i) A linguistic background of FGD, (ii) Formal tools connected with FGD and their adequacy, (iii) A comparison between FGD and the `Abhangigkeitsgrammatik' (developed by the group around Jurgen Kunze), and (iv) Current tasks in formal models of natural languages.