Graph-Grammatiken: Theorie, Anwendungen, Implementierung