20170924 world.mad-mad-world: Hitler's boxers sold for $5;500 at US auction