Build #5 (Jul 14, 2018, 11:30:56 AM)

	Changes Update Jenkinsfile (details / githubweb)
	Started by user Lorenz Bühmann
	Revision: e9a7f19b0ec477f871a96020c66610718fd6264e develop