anglicky: This work was supported by the Technology Agency of the Czech Republic under the project Certicar CK03000033. česky: Tato práce vznikla za podpory TAČR v rámci projektu Certicar CK03000033.