Как изменить язык дня недели в часах оболочки Gnome?

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

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