Vita beati Hartmanni episcopi Brixinensis 1140-64