Admin interface: Delete users
Users should only be deletable, if all their participations have been deleted before (as a security measure against accidental deleting)
Follow-up to #79 (closed)
Users should only be deletable, if all their participations have been deleted before (as a security measure against accidental deleting)
Follow-up to #79 (closed)