Did anyone check if Germany differentially bombed the nicer areas of London?