Redirecting to Henrik 3., tysk-romersk kejser