having eaten one's fill - German English Dictionary