Eine Software entscheidet, ob Straftäter schuldig sind