Jandl, E.: einfache satisfaktionsrechnung