The Wall Street Journal: German terror manhunt ends as police arrest Syrian refugee