Zaslat SMS: Das Gettierproblem