Alois Grimm deutscher Jesuit, Patrologe und Erzieher, der wegen Wehrkraftzersetzung hingerichtet wurde