Retrieval API: add proximity filter.

The proximity filter ("Umkreissuche") works now, as specified in the "Datenvertrag".

REST API:
{{{
GET /famportal/geoobject?category=...&proximity=<lon>,<lat>,<radius>
}}}