This video now has English subtitles for the on-screen German-language captions! (The film itself is silent.) Thanks again to @SDF for the effort which went into upgrading the PeerTube instance so that this feature now works.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko