a pactum de non petendo - German English Dictionary