Merge proposals

Informatik Regensburg 2009 has no merge proposals.