“…On a technical level, we leverage and extend techniques developed in the wider context of homogenization theory for controlling Green's functions. This is a wide field; see [2,5,6,7,9,11,12,13,15,21,22,30,31,41,46,47] and references therein. Specifically, we draw on upper bounds proved by Marahrens-Otto [46,47] and add some new results on lower bounds and asymptotics of Green's functions and their derivatives.…”