då ridande gensdarmeriet infann sig.