Deutsches Rechtswörterbuch (DRW): (Heergroppen)