Rewrite of my website, now contains mainly historic work/documents. Website will be taken offline at some time.
You can reach the author by email: Michael Wiedmann
Use GPG if possible, my key ID: 0xD925A03FEAD3B279, fingerprint 51CF FDAF 99F4 525C 8648 4256 D925 A03F EAD3 B279
You can copy my GnuPG Public Key from this page GPG Public Key