replace PUBLIC_KEY. The new key adds my email address of tuebingen, and deletes the tud and the www.paraslash.org email addresses.
initial git commit Let's try if this works out.