The role of double diffusion for the heat and salt balance in Lake Kivu