I formelt afseende tager sig hrLevertin