Where does “Michaël” come from?

Michaël (Dutch) comes from Vulgar Latin Michael, from Latin Michahel, from Greek Μιχαήλ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל, from Hebrew שְׁמוּאֵל.

Michaël (Dutch): Michael the