Hi @hermann-san,
try doing a manual update with the following command:
sudo apt-get update && sudo apt-get dist-upgrade -f
See also: