I knew I had to find one 'eject coin' push button, because one is missing ...
...so in one of my (too) many orders I added a new one... but didn't pay attention I would have an US on, and I would prefer a German one for this project.
I can live with two different push-buttons, but it looks a little bit strange
... maybe someone here may have a German one for me?