Ich habe diese zwei Freunde im Garten: Gundermann, mit großen, feinen Blättern, oberirdischer Verzweigung etc. Im Rasen hab ich das in klein und mit fleischigen Blättern als Teppich, an den nicht mal der Mäher kommt. Ist das auch Gundermann? Oder eine Unterart?