@karlitschek should decide on this