Digitron—A Digital Time Analyzer for Microsecond Intervals