mandigo_color) { $farbe = $userdata->mandigo_color; } else { $farbe = ‚red‘; } /* — FFS Ende — */ ?>