Guilder is the English translation of the Dutch and German gulden, originally shortened from Middle High German guldin pfenninc "gold penny". This was the term that became current in the southern and western parts of the Holy Roman Empire for the Fiorino d'oro (introduced 1252). Hence, the name has often been interchangeable with florin (currency sign ƒ. or ƒl.).