Why can we remove the `lower`? Doesn't that mean that the user cannot allow with `foo@uni-duesseldorf.de` *and* `foo@Uni-Duesseldorf.de` anymore?