Thanks again you all! I now ordered these two from Amazon. I didn't find manuals for them, but hope that one of them can do a short trigger and then an off delay timer. If not, I thought that I can use one for the short trigger, and then the other one for the delay. Does that make any sense?
https://www.amazon.de/-/en/gp/product/B019XK1NR6/ref=ppx_yo_dt_b_asin_title_o00_s00?ie=UTF8&psc=1
https://www.amazon.de/-/en/gp/product/B07DFZYK2K/ref=ppx_yo_dt_b_asin_title_o00_s00?ie=UTF8&psc=1
https://www.amazon.de/-/en/gp/product/B019XK1NR6/ref=ppx_yo_dt_b_asin_title_o00_s00?ie=UTF8&psc=1
https://www.amazon.de/-/en/gp/product/B07DFZYK2K/ref=ppx_yo_dt_b_asin_title_o00_s00?ie=UTF8&psc=1