"In modern German, Baden is a noun meaning "bathing"[4] but Baden, the original name of the town, derives from an earlier plural form of Bad ("bath")"