Under tiden hade emellertid en bataljoninfanteri