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