Summary of changes: aac6b04... Update to 0.5.3 - with new missions and bugfixes (*) d46d88b... Add new sources for 0.5.3 (*) (*) This commit already existed in another branch; no separate mail sent