Is it necessary to create renumbering? At least after we use DofHandler we should drop this.