Made by Dux, the oldest German brand for high quality pencil sharpeners, established in 1908
Found by @iwantdis