Den 4 dennes anlände konungen till Horsens.