stdbool für jochen