tiden hade Dubochet varit denrepublikanska