Fredagen den 9 dennes afrättades Even Johnsen,