Weißer Thymian, portugiesischer Thymian, spanischer Thymian, Sal Verde: allesamt die gleiche Pflanze. Medizinisch betrachtet