PeerTube.wtf did not federate my comment (was "Three sided PeerTube federation seems to have problems")

or I don't understand something

There is a video https://peertube.wtf/w/eSYuduJSbZ9s7K4pFT3Ncd
To which I added a comment to another comment https://piefed.zip/post/457008#comment_1379964
17 hours later it still did not federate to peertube.wtf

What am I missing here? Is there some disconnect between PieFed.zip and tube.tchncs.de for example?