END {
  warn "Das Skript $0 brauchte " . (tv_interval( $t0 ) * 1000) . 'msec';
}