My GPG keys are here n.ethz.ch/~rrueger/keys, and mirrored at keys.velleto.com