Anyone have Steffen's (the author of GEMAR and CBHD) current
address? The latest one I had was: XXXX@XXXXX.COM but I
got no reply from a mail to him there. The others I have are Maus
addresses but I don't think these are valid any longer.