punish as a warning or deterrent to others - German English Dictionary