Otto Dix and Workingman's blues