9342 Mitterdorf