to the end that - German English Dictionary