"[...] beim totalen oder Vollstreik [legen] alle Arbeitnehmer eines bestimmten Wirtschaftszweiges [...] die Arbeit nieder. Das Gegenteil dazu sind General-, Voll-, Teil- und Schwerpunktaussperrungen."