CREATE TABLE table_203_780 (id DECIMAL, "rank" DECIMAL, "diver" TEXT, "preliminary\ points" DECIMAL, "preliminary\ rank" DECIMAL, "final\ points" DECIMAL, "final\ rank" DECIMAL, "final\ total" DECIMAL)

how many total points did ingrid kr mer score in the final ?
SELECT "final\npoints" FROM table_203_780 WHERE "diver" = 'ingrid kramer'
SELECT "final\npoints" FROM "table_203_780" WHERE "diver" = 'ingrid kramer'