Как я изменяю будний язык в Gnome часы Shell?

существует забавная вещь, происходящая со мной в моем компьютере. У меня есть свой Gnome набор Ubuntu 16.04 испанскому языку. В главной панели у меня есть дата (с рабочим днем) и часы. Вещь состоит в том, что рабочий день появляется на немецком языке (я живу в Германии, возможно, из-за моего IP-адреса), и я не нахожу способ установить его на значение по умолчанию или испанский язык.

Еще более забавный то, что остальная часть даты появляется на испанском языке. Только рабочий день делает путаницу. Кто-либо знает, где настроить это настройки?