Judith of Carinthia — granddaughter of Duke Arnulf the Bad of Bavaria