viewing of floors in modal is functional again
Merge branch 'master' of https://github.com/dirkstahlecker/ppat_project