Failing link
The database lists the requested homepage as
http://iseran.ira.uka.de/~brzoska/
but this link is not active at present.