Ein Partitionierungsdienst für Geographische Daten in Räumlichen Datenbanken.