Niklas Baumstark

Somehow this iterator implementation is broken and we don't know why. We spent 2 hours now debugging it to no avail. The `operator-` induces undefined behaviour, looks like it accesses...