PIV · 6135Hohenstaŭf/ojHohenstaŭf/oj. Germana familio, el kiu eliris pluraj imperiestroj de la Sankta Imperio Rom-Germana (Z. skribis: Hohenstaŭfenoj).