check in after finishing work on thesis - merged with refactorings from other people
Authored by: ziemke 2013-12-19
Parent: [r27273]
Child: [r27275]