Vertical mixing in Überlingersee (Lake Constance) traced by SF6 and heat