Add missing team members to member data

* Adds missing team members from software.hifis.net to the team data of
hifis.net
* Names non-HIFIS authors and contributors explicitly in the posts and
events
9 jobs for !224 with 133-take-over-team-data-where-appropriate in 6 minutes and 17 seconds
latest detached
Status Name Job ID Coverage
  Build
passed build:latest #277200

00:03:29

passed build:production #277203

00:03:36

passed build:production:review-apps #277202

00:02:55

passed build:production:subpath #277201

00:00:54

 
  Test
passed test:htmlproofer #277204

00:01:03

passed test:htmlproofer:subpath #277205

00:03:04

 
  Review
passed review #277206
review-apps

00:00:03

passed stop_review #277207
review-apps manual

00:00:00

 
  Accessibility
passed a11y #277208

00:01:35