Dieter Zeh passed away in 2018. His website is still available.