Good evening, in the meantime I have purged all mariadb packages and reinstalled them. mariadb-server-10.1 did still not install, but with another error. I purged once more and installed version 10.0, which worked fine.
For me, this bug can be closed. Harald
