Enligt hvad Henningsen uppgifver ,hade