@article{Havelka:22758,
      author        = "Havelka, R.",
      title         = "{}",
}