Otakar Borůvka on minimum spanning tree problem Translation of both the 1926 papers, comments, history