Revert "TO-UNDO: timings"

This reverts commit 628c90cae909df3a30e4d38c5364165cb8123771.
TO-UNDO: more timing

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>