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:
51CF FDAF 99F4 525C 8648 4256 D925 A03F EAD3 B279
You can download here my GnuPG Public Key.