Det borde i Grundlagcn wara enkonung