Beispiel für eine Anwendung deren Akzeptanztests mit NatSpec und JUnit realisiert wurden.