On 8 Nov 2018, at 15:58, IOhannes m zmoelnig <zmoelnig@iem.at> wrote:

none of them ring with me.
both "knopf" and "schalter" evoke quite specific images in my head, none
of which match with what you actually get (and “radiobutton" does neither)