Context: The Arabic name for Germany is "Almania". And there was a Germanic tribe on the Upper Rhine called the Alemmani. I've been wondering this for a while, and decided to come here to ask.
It seems you are correct! You can learn more in some older threads like this by a deleted user, this by u/mamelsberg, and this one by u/BaldwinVI, u/UseHerNom and others