https://www.dict.cc/english-german/He%27s+pig+headed.html