postcondition - German English Dictionary