The headline, as can be seen on NewsDiffs, changed between 8:35pm and 9:13pm on July 16.
Wie der Webseite NewsDiffs zu entnehmen ist, änderte sich der Titel des Artikels am 16. Juli zwischen 20:35 und 21:13 Uhr.