Revised final version. Added some words. Long lines split. Single line length is now max 45 characters, but only where it can't be avoided. Timings improved and display times shortened.