The KITInfo timers source code, live version to be found on http://timers.kitinfo.de/