small changes to Machbarkeit