geändert:       dist/MediathekView.jar
	gelöscht:       dist/info/7.247.build
	neue Datei:     dist/info/7.248.build
	geändert:       dist/lib/MSearch.jar
	geändert:       libs/MSearch.jar
	geändert:       src/version.properties
Merge branch 'master' of https://github.com/derreisende77/MediathekView
lib