gensdarmeriets chef , ut med en truppafdelning , för att häkta ledarne.