Deutsch HOWTOs and mini-HOWTOs