Welche Funktion hat die Datei robots.txt und wie sollte eine robots.txt für WordPress aussehen?