The German translation has a small mistake:
It’s called “beenden” not “benden.”
See Image
right
Cheers, Matz
