i Horsens den första afrättringen i Danmark på långliga tider.