reale Bedingungssätze