Unable to answer "Do these traffic lights have a button to request a walk signal?" – Crossing – https://osm.org/node/12551400697 via StreetComplete 62.2:

Keine Ampel

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