You are correct;
Marlene as a shortened form of Marielene was in use in Germany before
Marlene Dietrich. 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.