Open Street Maps public market rectangle export

If we need a rectangular export of the Public Market area from Open Street Maps, this consists of that.