und wie hoch ist die Marktkapitalisierung derzeit?