@article{Havelka:9220,
      author        = "Havelka, F.",
      title         = "{}",
}