strict digraph G {
        edge[len=5];
        node[style=filled];
        "pgpkeys.eu 80" [color=green, fontcolor=black, label="pgpkeys.eu\n"];
        "fi.pgpkeys.eu:11371" [color=green, fontcolor=black, label="fi.pgpkeys.eu\n"];
        "de.pgpkeys.eu:11371" [color=green, fontcolor=black, label="de.pgpkeys.eu\n"];
        "key-server.org:80" [color=green, fontcolor=black, label="key-server.org\n"];
        "fr.pgpkeys.eu:11371" [color=green, fontcolor=black, label="fr.pgpkeys.eu\n"];
        "pgpkeys.eu 80" -> "de.pgpkeys.eu:11371";
        "pgpkeys.eu 80" -> "fi.pgpkeys.eu:11371";
        "pgpkeys.eu 80" -> "key-server.org:80";
        "fi.pgpkeys.eu:11371" -> "de.pgpkeys.eu:11371";
        "fi.pgpkeys.eu:11371" -> "fr.pgpkeys.eu:11371";
        "de.pgpkeys.eu:11371" -> "fi.pgpkeys.eu:11371";
        "de.pgpkeys.eu:11371" -> "fr.pgpkeys.eu:11371";
        "de.pgpkeys.eu:11371" -> "key-server.org:80";
        "key-server.org:80" -> "de.pgpkeys.eu:11371";
        "key-server.org:80" -> "fi.pgpkeys.eu:11371";
        "key-server.org:80" -> "fr.pgpkeys.eu:11371";
        "fr.pgpkeys.eu:11371" -> "de.pgpkeys.eu:11371";
        "fr.pgpkeys.eu:11371" -> "fi.pgpkeys.eu:11371";
        "fr.pgpkeys.eu:11371" -> "key-server.org:80";
}