"to put an end to" Deutsche bedeutung