no revision of Karl_Strehl found that is older than 20180523100514