How to efficiently shred a lot of cabbage?
There is a kraut cutter, a wooden board about 2 ft long with a diagonal blade.  We used all the time when I was a child. We laid it on a large pot.  You cut heads of cabbage in half and push it over the blade flat side down.  Try google or an old fashioned hard ware.