fartyg , hwilken den 20 Juni e. m . , efter ett strängt arbete , upphettad kastade sig i sjön för att bada , öfwerfölls af krampoch