Those were the last piece in my old .dotfiles repository. The whole configuration is now defined here. Only customer specifics are in a separate location / repo to not expose any sensible data.
Daniel Siepmann
5221385642
