Ontruiming Paradoks Leiden 1