So fielen an jenem Tag von Benjamin im Ganzen 25 000 Mann, die das Schwert gezogen hatten, lauter tapfere Männer.