Wie lange muss man rote Linsen einweichen?