Cut the peppers into quarters, clean, wash and dice very finely. Dice the gherkin very finely as well. Mix paprika and cucumber cubes, mayonnaise, cream and ketchup. Season to taste with salt and pepper.