BUG: keyboards US-int. Sharp s does not work always

Hi I have set three keyboards 1. US (default) 2. US international ("a --> ä altgr + s--> ß) 3. Hebrew Step to reproduce the bug 1. I log in, 2. I type with the default US keyboard. 3. I chose US internation, everything works 4. I switch to the Hebrew keyboad. 5. I switch to US keyboard 6. I switch to the US international keyboard. Now "a-->ä works but altgr + s --> s Can anybody confirm this please. Any fix? Regards Uwe Brauer