Gibt es eigentlich eine gute alternative zu Google Maps, was die allgemeine Suche und das erstllen/synchronisieren von Markierungen/Favoriten angeht? Gern Richtung #OSM / #OpenStreetMap und mit Android und Linux Client.