Hvad Gervinus i sistnämnda ord antydtutföres