a lake in Hungary, 17 miles in length, and 6 in breadth.