Layoffs planned for Amsterdam’s civil service: the 2,500 jobs the city plans to cut