And of course I forgot something: Alternatively one could ensure the hash gets updated when unpickling by implementing `__setstate__` (or other means), but that seems more work and I'm not sure it is so useful to store the precomputed hash anyway.
Ansgar
