Finally I figured out how Karabiner-Elements works and now I am able to reconfigure these weird macos keyboard mappings as I like.
If you do not know, Karabiner-Elements is an open source application to remap keys and shortcuts. You can do pretty complex stuff with it.