Merge branch 'devel' into feature-pursuit

android/assets/text/application/application_cs.properties

android/assets/text/application/application_de.properties

android/assets/text/application/application_sk.properties

android/assets/text/game/robbery/robbery_de.properties

...ssets/text/screen/encyclopedia/encyclopedia_cs.properties

...ssets/text/screen/encyclopedia/encyclopedia_de.properties

...ssets/text/screen/encyclopedia/encyclopedia_sk.properties

...id/assets/text/screen/halloffame/halloffame_de.properties

android/build.gradle

build.gradle

core/assets/common/game/inthedarkness/gfx/tiles/tile0.png

core/assets/common/game/inthedarkness/gfx/tiles/tile1.png

core/assets/common/game/inthedarkness/gfx/tiles/tile2I.png

core/assets/common/game/inthedarkness/gfx/tiles/tile2L.png

core/assets/common/game/inthedarkness/gfx/tiles/tile3.png

core/assets/common/game/inthedarkness/gfx/tiles/tile4.png

...sets/common/screen/encyclopedia/auditory_distinction.json

core/assets/common/screen/encyclopedia/dysgraphia.json

core/assets/common/screen/encyclopedia/dyslexia.json

core/assets/common/screen/encyclopedia/dysorthographia.json