Einstein's cosmological constant