How to remove krb5-admin-server from Debian 9 (Stretch)