Erlang -- Time and Time Correction in Erlang