Powerset-Construction!