no revision of Ludwig_Meinunger found that is older than 20180523100514