Tombstone for Hilbert Horstmann