for those unfamiliar with sarcasm

I'm quite proud of myself: although English is not my mother tongue, I recognised the sarcasm in your introduction immediately :-))

I naively assumed that much else had already been translated. Perhaps otherwise I wouldn't have written this comment so carelessly.
But I can see that you have also mastered this challenge with flying colours. Thank you for that!

Of course, this reminds me that I haven't made any progress with editing the strings translated into German by ChatGPT.