workers' quarter