Die Daten, mit denen ich arbeiten muss, sind etwas chaotisch. Die Daten enthalten Headernamen. Wie kann ich eine Zeile aus einem vorhandenen Pandas-Datenrahmen auswählen und daraus einen Spaltenkopf machen (umbenennen)? Ich möchte so etwas tun wie: header = df[df['old_header_name1'] ==...