Na ADI 5.127/DF, qual foi a decisão do STF sobre a interrupção da gravidez em casos de fetos com anencefalia?

Decidiu que a interrupção da gravidez em casos de fetos com anencefalia é permitida

Decidiu que a interrupção da gravidez em casos de fetos com anencefalia é proibida

Decidiu que a interrupção da gravidez em casos de fetos com anencefalia é permitida, mas com restrições

Não se pronunciou sobre a questão