no revision of Gert_Denninger found that is older than 20180523100514