RICHERIUS, Edmundus