SMS versenden: Nonstandard methods in functional analysis