Testing the heavy quark effective theory in B0 → D∗+ e−ν