Judith of Bavaria, Duchess of Swabia — mother of Frederick Barbarossa