Stuff from /ftp://minster.york.ac.uk:/pub/realtime/papers as of 19931109. ++jhi;