Talk:Diethard Ried/@comment-37389828-20181103070259/@comment-2A02:1810:4F0B:500:7D04:5696:CA12:BF1C-20181103130621

Good point.

What is the source for july anyway? I don't recall any indications for what month it was.