ertu.de's jungle timer with some fixes