borgmästaren E. Holmers pension.