no revision of Jochen_Guck found that is older than 20180523100514