Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
die beamten der bundessicherheitsdirektion bestrafen beispielsweise einen spitzel, indem sie ihm die augen ausstechen.
employees of the direccion federal de seguridad (federal security agency) punish an informer by cutting out his eyes, as an example to others.