Johann Hastfer [der Grabstein].