Sedan derpå " Integer vita } " ochJosephsons