Suchergebnisse exportieren [was #35068]
Es wäre manchmal nützlich, Suchergebnisse aus dem Lab zu exportieren. Das muss m.E. nicht hübsch sein, sollte aber die Objektnamen und bei einer Volltextsuche den ausgewählten Kontext berücksichtigen. An das Format haben wir im Augenblick keine besonderen Anforderungen.