race|result 11.3.20 (2016-09-20)
Bugfix: some bugs in new tool Manual Timing fixed