Thanks! I’ve tried the built-in translator, which would be the best option here.
From my tests, it doesn’t detect the language to translate from reliably and is offering translation to German on German-language topics or English on English-language topics. Given that it’s a fairly new feature, it probably gets better with time.