Germany condemns Iranian execution over anti-government protests