Karl Franz Joseph Ludwig Hubert Georg Otto Marie
So that’s where “Charles” comes from...
He was also Charles IV of Hungary. The man had way too many names.