Florian

When trying to delete a user in the Django backend, an error occurs:  ## Steps to reproduce * Create a new user in the Django admin interface. * Log...

When a user is deleted, JSON objects in the `history_historyentry` table persist and allow for re-identification. ## Steps to reproduce * Create a new user in the Django admin interface....