Nachbedingung

German translations

1. 01

   condition

2. 02

   postcondition

3. 03

   aftercondition