(Kronenburg, Peper) Time measurement: Formalization-1.2: Total 140 min (x2 = 280 min = 4 h 40 min ) (Time in minutes) U1: 20 U2: 20 U3: 5 U4: 5 U5: 5 U6: 5 U7: 5 U8: 0 U9: 0 U10: 0 U11: 1 U12: 3 U13: 0 U14: 10 U15: 0 U16: 10 U17: 1 U18: 1 U19: 1 FM1: 1 FM2: 5 FM3: 2 FM4: 0 FM5: 0 FM6: 3 FM7: 4 FM8: 0 FM9: 0 FM10: 0 FM11: 0 NF1a: 10 NF1b: 10 NF2: 2 NF3: 1 NF4a: 5 NF4b: 3 NF5: 2 NF6: 0 NF7: 0 NF8: 0 NF9: 0