Wollte heute meinen Server auf den aktuellen Stand bringen. Dabei gab es einen Error beim apt-get update. Der GPG Key des Mysql repository war falsch. Mit diesem schnellen Fix kann…