Bugfix cf6034 jetzt so, wie er sein sollte

begin/rbegin und end/rend sind nicht symmetrisch:
s.begin() == s.rend() und s.rbegin() == s.end()
Der bidirectional iterator ist KEIN reverse_iterator! Und eine Position
VOR s.begin() gibt's so und so nicht.

Jedenfalls ist jetzt der urspruengliche, effiziente Algo durch einen
reverse_iterator korrekt implementiert. Nicht mehr der Workaround, der mit
find_if immer wieder von ganz vorne zu suchen beginnt.

(Zusammen mit Prof. Thomas geloest.)