de.team33.patterns.proving.kerberos
