Prophylaxis with deglycyrrhizinised liquorice in patients with healed gastric ulcer.