How to pronounce "Dirichlet"

It’s pronounced “mangrove throatwarbler.”