Thanks for the hint, vitorp07! When I used the search function before posting here, I already found the advise to download Estuary via git, increment the version number, do my changes, zip it and install the zip. My problem is not that I'm technically unable to change Estuary, but that I don't know what to change in VideoFullScreen.xml to get the Clock displayed.
Thanks!
svenfried