SMS versenden: Introduction to digital professional mobile radio