US-Republikaner einigen sich auf Mike Johnson zum Vorsitzenden des Repräsentantenhauses