Eine 3-GB-SQLite-Datenbank durch ein 10-MB-FST-Binary ersetzen

Eine 3-GB-SQLite-Datenbank durch ein 10-MB-FST-Binary ersetzen