Ersättare Elomek dörrmagenter 711 samt 712?