When and how did the Norse Patronymic surnames turn into "regular" surnames like they are now? How did something like Mikkelsson become Mikkelsen? Did people just get bored of the tradition?