https://www.dict.cc/english-german/He+was+whipped+in+public.html