Leniency versus Toughening? The Prosecution of Male and Female Violence in 19th Century Holland