https://www.dict.cc/english-german/He+razed+the+walls+of+the+city.html