Stolpersteine in Hallein sind bereits geputzt