You are correct; Marlene as a shortened form of Marielene was in use in Germany before MarleneDietrich. The name was even used in the USA at a very low level before Dietrich was famous. However, it only became a common name in the USA after Dietrich moved to Hollywood in 1930.