https://www.dict.cc/german-english/Was+dem+einen+recht+ist+ist+dem+andern+billig.html