Stav dette: The German workman;