I stället for Mommsen,