Populariteit van ‘Michal’ als eerste naam voor mannen tussen 1880 en 2009 (Nederlandse Voornamenbank)