That did not do it either. It seems to be in $is_single() and $is_page().
When I remove the not (!) from the header.php if statement then a PAGE has the correct formatting, but then the main page (index) is wrong. Copying the file index.php or page.php to the other does not seem to change anything.