KMI23_KMI25: High performance rotational speed sensor ARCHIVED