Ziele: Prädikate präzisieren Wertebereiche
in der Vorlesung:
nachlesen: G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2