@Richard
Nicht verwiren lassen. ALLES wird gut 
um den thread völlig zu kapern:
- maptool spielt schon eine Rolle für Android-Leute, die ihre 200 MB flatrate nicht für “over the air”-Kartendownloads (was ja ganz schick ist) völlig hergeben wollen
- die Version im Market ist - glaube ich - 0.2.0 (vom letzten Jahr) und pbf-Support kam kurz danach (?)
- habe soeben 4531 aus svn gebastelt und beim Testlauf ist maptool abgekachelt
, hab’ aber noch eine 4151er als deb und mit der geht’s
Ciao,
Frank