Wann tritt die formelle Bestandskraft ein?