Vielleicht ist Staufenbrücke kein offizieller Ortsteil, aber er ist auf jeden Fall ein üblicher Name. Siehe auch den bayerischen Artikel bar:Staffabruck. Wie wärs als Alternative mit "inoffizieller Ortsteil von Bad Reichenhall"? -- chatter 21:23, 20. Dez. 2009 (CET)