@article{Krawinkler:8126,
      author        = "Krawinkler, H.",
      title         = "{}",
}