Für mich sieht das mit highway=pedestrian korrekt aus. Man könnte bicycle=no ergänzen, aber das fühlt sich wie "tagging for the router" an. Das gleiche müsste man dann auch für die Königstraße und einige andere Fußgängerzonen im Umkreis machen.