Pruef_protokoll: group reviewed till F.4; improved formatting