Jewish quarter, Amsterdam, during German occupation