( De » 19 Juli .)