microtime - German English Dictionary