DUNE: added getElapsed() to Time/Counter.