Karl, Christian, thanks for the answers!
Alas, even with them I don’t get this to work. I documented the whole setup in this poster.
I hope it goes through in full resolution. Otherwise I’ll think of something and edit this post.
I just wonder how a dollar-sign, which means “end-of-line” in regular expressions, can be used here without some magic.