Varáhamihira a nejstarší zmínka o dómbech - Beníšek, Michael