Heidelberg shooting: one killed and three injured in lecture hall attack