Who among the following has clocked the lowest time to complete a marathon for the world record in Berlin Marathon?