digraph GRAPH_0 { graph [ labelloc=b, label="Deutsche Städte" ] "Köln" -> "Stralsund" }