80 dubbelr . , petit .)