Was macht man bei einer Rippenfellentzündung?