handbohrer-satz