طرز تهیه سوپ عدس، به شیوه آلمانی‌ها