meantimer measurement - redundancy

PostScript file (238417 bytes)
external gif viewer (20249 bytes)