"workers' quarter"