Op dit moment is paul de host waarop van buitenaf ingelogd wordt. Paul is verder niet in gebruik als workstation maar is een dedicated ssh-server.
