Stalinism, working-class housing and individual autonomy: the encouragement of private house building in Hungary's mining areas