In het raadhuis van Hilversum weet iedereen wat ‘een Jaegertje’ betekent