@simimon BTW der mini war auch seit dem Update auf 10.7.3 etwas vermurkst - v.a. die Recovery Partition; hatte schon Schlimmes befürchtet.