К одежде немецких шахтеров XVIII века сзади прикреплялся фартук, защищавший ноги. От чего?