Summary of changes: f70e3f4... 5.7. (*) (*) This commit already existed in another branch; no separate mail sent