folktingsmannen L . Dinesen.