sjön , kallade den «djefvulssjön ».