Wegen Polizistenmords verurteilter 33-Jähriger in Texas hingerichtet