sjön Elen ; dito.