Thread:Historygeek1/@comment-39327911-20190530172604

"Vollstrecker" is correct. It's German (Zemnian for "enforcer" or "executor". 