tyske konungen Henrik följde denromerske