Das Washingtoner Arbeitszeitübereinkommen von 1919.