I'm used to a German keyboard layout, but want to try using a US-International keyboard to simplify programming.
On Windows 10 I can enter German umlauts (äöü) using the US-International layout (for the normal US layout this does not work) by pressing " followed by aou, but how to enter the ß (sharp s)? "s does not work. I want to avoid switching to the German layout or using Alt-sequences.