De Leidse Hofjes.... Mierennesthofje