stare

Ok figured it out:

Change the line 154 in the widget.php file to the following doesn’t help?
'title' => __(get_taxonomy( $taxonomy )->label),

and use the following tags:

'name' => _x( '<!--:en-->English<!--:--><!--:de-->German<!--:-->', 'taxonomy general name' ),