Ok, I found the solution. Turns out you can hit "Apply"Apply on the booleanBoolean modifier to actually apply the effect. Then the modifier is gone and the vertices are created in the cube object. You can do that by hitting this button in the modifier tab:
After exporting the stlSTL looks like expected, great =)