dejustiert (Nomen)