Unable to answer "Do these traffic lights have a button to request a walk signal?" – Crossing With Pedestrian Signals – https://osm.org/node/1592972875 via StreetComplete 62.1:

Hier dürfen keine Fußgänger über die Fahrbahn, aber es gibt einen Knopf für Radfahrende für Grün

Attached photo(s):
https://streetcomplete.app/p/320727.jpg