Merge proposals

Juergen Koch has no merge proposals.