SMS versenden: Zur Frage der gesetzlichen Feiertage