https://visitutrecht.org/male-names-that-mean-cat/