@article{Havelka:9271,
      author        = "Havelka, J.",
      title         = "{}",
}