Entspricht die letzte Anweisung: git push mathnet -f von "Case 2: Delete the second last commit" auf der Seite git-howto-revert-a-commit-already-pushed-to-a-remote-reposit einem git push origin master -f?