HashTable_dieterc2

Hmm. This can never happen, so there must be a bug here somewhere.