Is Heiligenstein in Bas Rhin, Alsace, the same as the Heiligenstein, Pfalz, Bayern? Or am I looking at two distinct locations? Thanks.