SMS versenden: Das Gettierproblem