Wird eine Filigrandecke verputzt?