Gerda-Maria Cornelius als „Marie, Stadingers Tochter“ in „Der Waffenschmied“