Mit @ReinhardKarger und @ClemensWeins und anderen (Nichttwitterern?) hier: