Martensens arbete öfver Böhme afslutad.