macOS Sierra Right Alt Key mapped to Ctrl
Apparently an old Karabiner installation (that however has never been used and still had the default settings) interfered even after deleting it. It was only after clearing the Trash and rebooting a few times, that the issue resolved itself.