I found ^ the difficult thing. Although working with PCs for more then 20 years (although mostly Windows, only some Linux) I had no idea that it could mean Control. And therefore I needed to google what it means as an OSX keyboard shortcut. ⌥ was obvious, as it is printed on my keycaps, ^ not.