XY. Doplnit data a exportovat protokol FK
Výsledky formální kontroly