I'm sorry it took me that long to answer. Thank you for your answer. I was just looking for the crawler extension, but it seems, it isn't installed at all. At least I can't find it among my extensions. Therefore, I guess it must be something different...