SMS versenden: Formalization of Banking Supervision