Dietrich Rummel [der Grabstein].